Reversible Debugging in Logic Programming

Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore computation from observable misbehaviour backwards error. In this work, we propose reversible scheme logic programs. For purpose, define an appropriate instrumented semantics (a so-called Landauer embedding) that makes SLD resolution reversible. An implementation debugger Prolog, rever, has been developed and publicly available. paper dedicated Manuel Hermenegildo on his 60th birthday, many contributions programming as well energetic leadership within community. I wish him springs come.